The Mathematics of Second Quantization.

The following is an attempt to construct a mathematical model for use in quantum field theory. Although few nonspecialists have had opportunity to become familiar with the language of modern pure mathematics, quantum theory seems to have reached a point where it must use that language if it is to find a genuine escape from the divergence difficulties. Divergence can not be properly coped with when convergence itself has never been rigorously defined. In the classical analysis of real and complex numbers, results, even correct results, can be obtained by algebraic manipulation of formal power series; but these numbers are not just algebras, they are topological algebras, and only with Cauchy's introduction of the epsilon-delta treatment was mathematics provided an explicit method of separating sense from nonsense. Similarly, in the modern analysis of infinite-dimensional algebras results can be obtained by algebraic manipulation of formal expressions, but these results often require topological justification. One standard way of introducing a topology into the algebra of observables is to make them operators on a Hubert space. This method, which does not seem to be extensively employed in quantum electrodynamics, can be used to construct a mathematically rigorous formalism the manipulation of which is directly followable by one's physical intuition. This construction requires the exercise of two dissimilar disciplines, mathematics and physics, so the exposition is divided into two parts upon which relative emphasis can be adjusted to suit individual tastes. In particular, physicists can greatly simplify the mathematics by ignoring: (1) operator-domain considerations (as is done here in the derivation of the Yukawa-potential); (2) discussions involving the group algebra of the symmetric group (since only the FermiDirac and Bose-Einstein cases have ever actually occurred) ; (3) material depending on the simply-connected covering group of the Lorentz group (since it is not needed to derive Maxwell's equations). However, Part I is empty, unmotivated mathematics without Part II; and Part II does not exist without Part I. The two are designed to be read, not consecutively, but in parallel. Sections are numbered accordingly. I would like to thank Professor I. E. Segal for liberal use of his time and advice in the preparation of this paper. It is to be submitted to the Depart-